#include <stdio.h>

/************************************************************************/
/*                                                                      */
/************************************************************************/
void bar(void)
{
    printf("bar\n");
}

void foo(int *x)
{
  int y = *x;  /* (1) */
  if(!x)       /* (2) */
  {
    return;    /* (3) */
  }
  bar();
  return;
}

/************************************************************************/
/*                                                                      */
/************************************************************************/

int main(int argc, char* argv[])
{
    int x[5] = {0};
    
    foo(x);
    foo(NULL);
    
    return 0;
}